Constraint programming - PDFSEARCH.IO - Document Search Engine

Constraint programming
Results: 1169

#	Item
531	Leveraging Belief Propagation, Backtrack Search, and Statistics for Model Counting Lukas Kroc, Ashish Sabharwal, Bart Selman Cornell University May 23, 2008 Add to Reading List Source URL: www.cs.cornell.edu Language: English - Date: 2009-02-12 00:13:50 Complexity classes Boolean algebra Constraint programming Mathematical optimization Boolean satisfiability problem Constraint satisfaction problem NP-complete Belief propagation NP Theoretical computer science Computational complexity theory Applied mathematics
532	Journal of Artificial Intelligence Research931 Submitted 01/05; publishedEngineering Note Optiplan: Unifying IP-based and Graph-based Planning Add to Reading List Source URL: www.menkes76.com Language: English - Date: 2012-10-29 18:17:44 Theoretical computer science Automated planning and scheduling Logic in computer science Combinatorial optimization Linear programming Planning Domain Definition Language Fluent Constraint satisfaction CPLEX Mathematical optimization Operations research Mathematics
533	Specification of FlatZinc Version 1.5 Ralph Becket 1 Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-03-16 00:27:10 Data types C programming language C syntax Source code Array data type Literal ATS Declaration Constraint programming Software engineering Computer programming Computing
534	A Constraint-Solving Approach to Faust Program Type Checking Imré Frotier de la Messelière1 , Pierre Jouvelot1 , Jean-Pierre Talpin2 1 MINES ParisTech, PSL Research University Add to Reading List Source URL: www.cri.ensmp.fr Language: English - Date: 2014-09-09 08:51:53 Computer programming FAUST Type system Type inference Principal type Constraint programming OCaml E Programming language Software engineering Type theory Computing
535	Affiche-annonce MAIRY Jean-Baptiste Add to Reading List Source URL: www.uclouvain.be Language: English - Date: 2015-03-31 07:41:40 Constraint satisfaction problem Constraint satisfaction Constraint Constraint programming Computing Local consistency
536	Other land use English version – SOSI standard 4.0 Other land use Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:08:19
537	Query Answering Exploiting Structural Properties∗ Francesco Scarcello DEIS, Universita` della Calabria, Italy Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:52 Decomposition method Hypertree Conjunctive query Hypergraph Georg Gottlob Tree decomposition CW complex LOGCFL Graph theory Theoretical computer science Constraint programming
538	Terrain English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:08:30 Class Computing Constraint programming Software engineering Mathematical optimization Constraint
539	Proving Termination of Programs Automatically with AProVE? J. Giesl1 , M. Brockschmidt2 , F. Emmes1 , F. Frohn1 , C. Fuhs3 , C. Otto, M. Pl¨ ucker1 , P. Schneider-Kamp4 , T. Str¨oder1 , S. Swiderski, and R. Thiemann5 1 Add to Reading List Source URL: verify.rwth-aachen.de Language: English - Date: 2015-01-30 08:47:53 Static program analysis Termination analysis Automated theorem proving Programming paradigms Constraint programming Logic in computer science Prolog Unification Computer program Software engineering Computing Theoretical computer science
540	Road situation English version – SOSI standard 4.0 Road situation English version – SOSI standard 4.0 Add to Reading List Source URL: www.kartverket.no Language: English - Date: 2013-01-29 08:08:27 Group Symmetry Constraint programming

UPDATE